GuardednessPreservingTypeConstructors.agda:3,1-59
Experimental feature --guardedness-preserving-type-constructors has
been removed.
